1. Automata
Author: Hopkin, David.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Turing machines,، Computable functions
Classification :
QA
267
.
H57
2. Automata and computability /
Author: Dexter C. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
Classification :
QA267
.
K69
1997eb
3. Automata, computability and complexity :
Author: Elaine Rich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
Classification :
QA267
.
R53
2008
4. Automata, languages, and programming :
Author: edited by J.W. de Bakker and J. van Leeuwen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
5. Computability.
Author: Klaus Weihrauch
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
59
K538
2012
6. Computability and Decidability :
Author: by Jacques Loeckx.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
7. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
8. Computability theory /
Author: Rebecca Weber
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
6
.
W43
2012
9. Computability theory: an introduction
Author: )by( Neil D. Jones,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Turing machines,Computable functions
Classification :
QA
.
J66
248
.
5
10. Computability theory : concepts and applications
Author: Dunne, Paul E
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions , Recursion theory , Turing machines
Classification :
QA
9
.
59
.
D85
11. Mathematical Foundations of Computer Science 1976 :
Author: edited by Antoni Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Computers.
Classification :
QA267
.
3
E358
1976
12. Models of Computation : An Introduction to Computability Theory
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computable functions,Turing machines,توابع محاسبهپذیر,Fernalndez, Maribel
Classification :
CD-B
,
QA
,
267
,.
F47
,
2009
13. Models of computation :an introduction to computability theory
Author: Fernandez, Maribel.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Computable functions,، Turing machines
Classification :
QA
267
.
F47
2009
14. Proofs and algorithms
Author: Gilles Dowek
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Logic, Symbolic and mathematical,Algorithms
Classification :
QA
9
.
D66P7
2011
15. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Central Library and Documentation Center (Kerman)
Subject: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
2004
16. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
17. Theory of Computation
Author: / George Tourlakis
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
Classification :
QA9
,.
59
.
T46
,
T68
2012
